1. Algebraic Theories
پدیدآورنده: by Ernest G. Manes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.
2. Algebraic approaches to program semantics
پدیدآورنده: / Ernest G. Manes, Michael A. Arbib
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics,Algebra
رده :
QA
76
.
7
.
M34
1986
3. Algebraic approaches to program semantics
پدیدآورنده: Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
4. Algebraic approaches to program semantics
پدیدآورنده: Ernest G. Manes, Michael A. Arbib
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
5. Algebraic theories
پدیدآورنده: Manes, Ernest G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Algebra, Universal,، Categories )Mathematics(
رده :
QA
251
.
M365
6. Algebraic theories
پدیدآورنده: / Ernest G. Manes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Algebra, universal
رده :
512
M274
7. Algebraic theories
پدیدآورنده: Manes, Ernest G.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Algebra, Universal,، Categories )Mathematics(
رده :
QA
251
.
M365
8. Algebraic theories
پدیدآورنده : Manes, Ernest G.,3491-, E. G. Manes
موضوع : ، Algebra, Universal,، Categories )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Arrows, structures, and functors :
پدیدآورنده: Michael A. Arbib, Ernest G. Manes
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra,Categories (Mathematics),Functor theory
رده :
QA169
.
A7
10. Predicate transformer semantics
پدیدآورنده: Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
رده :
QA
76
.
7
.
M342
1992
